Satisfiability Solvers and Program Verification

英文缩写：SSPV

英文全称：Satisfiability Solvers and Program Verification

中文释义：可满足性求解器与程序验证

中文拼音：kě mǎn zú xìng qiú jiě qì yǔ chéng xù yàn zhèng

所属分类：Computing

上一个：Super Spammers Anonymous 下一个：In-Circuit Emulator

栏目分类

英语单词英文缩写

常用缩写

WCKX 缩写 WCGB 缩写 WEGP 缩写 WNNB 缩写 WBVX 缩写 LUCKY 缩写 KDD 缩写 WBLL 缩写 WBRF 缩写 WBJD 缩写 WBLF 缩写 RILO 缩写 WDYR 缩写